Using the framework of categorical logic, this paper analyzes and streamlines Gabbay's semantical proof of the Craig interpolation theorem for intuitionistic predicate logic. In the process, an apparently new and interesting fact about the relation of coherent and intuitionistic logic is found.

Versions and extensions of intuitionistic and modal logic involving biHeyting and bimodal operators, the axiom of constant domains and Barcan's formula, are formulated as structured categories. Representation theorems for the resulting concepts are proved. Essentially stronger versions, requiring new methods of proof, of known completeness theorems are consequences. A new type of completeness result, with a topos theoretic character, is given for theories satisfying a condition considered by Lawvere . The completeness theorems are used to conclude results asserting that certain (...) logics are conservatively interpretable in others. (shrink)

Let C be a small Barr-exact category, Reg the category of all regular functors from C to the category of small sets. A form of M. Barr's full embedding theorem states that the evaluation functor e : C →[Reg, Set ] is full and faithful. We prove that the essential image of e consists of the functors that preserve all small products and filtered colimits. The concept of κ-Barr-exact category is introduced, for κ any infinite regular cardinal, and the natural (...) generalization to κ-Barr-exact categories of the above result is proved. The treatment combines methods of model theory and category theory. Some applications to module categories are given. (shrink)

We use a fundamental theorem of Vaught, called the covering theorem in [V] (cf. theorem 0.1 below) as well as a generalization of it (cf. Theorem $0.1^\ast$ below) to derive several known and a few new results related to the logic $L_{\omega_1\omega}$. Among others, we prove that if every countable model in a $PC_{\omega_1\omega}$ class has only countably many automorphisms, then the class has either $\leq\aleph_0$ or exactly $2^{\aleph_0}$ nonisomorphic countable members (cf. Theorem $4.3^\ast$) and that the class of countable (...) saturated structures of a sufficiently large countable similarity type is not $PC_{\omega_1\omega}$ among countable structures (cf. Theorem 5.2). We also give a simple proof of the Lachlan-Sacks theorem on bounds of Morley ranks ($\s 7$). (shrink)

Abstract: Kant declares the judgment of beauty to be neither ‘objective’ nor ‘merely subjective’. This essay takes up the question of what this might mean and whether it can be taken seriously. It is often supposed that Kant's denials of ‘objectivity’ to the judgment of beauty express a rejection of realism about beauty. I suggest that Kant's thought is not to be understood in these terms—that it does not properly belong in the arena of debates about the constituents of ‘reality’—motivating (...) the suggestion by first considering a pair of opposing views on the question of whether Kant can be understood to develop a real alternative to realism about beauty at all. (shrink)

Immanuel Kant's Critique of Judgment is widely recognized as a founding document of modern aesthetics, but its legacy has fallen into disrepute. In this book Katalin Makkai calls for the rediscovery of Kant's aesthetics, showing that its centerpiece, his investigation of the judgment of taste, paints a compelling portrait of our relationships with works of art that we love. At its heart is a scene of aesthetic encounter in which one feels oneself to be 'animated' - brought to life - (...) by an object, finding there to be something in one's experience of it, beyond what there is to know about it, that one wants to explore and articulate. Tracing Kant's insight that to judge is to reveal one's sense of what bears judging, and hence of what matters, Makkai situates Kant's aesthetics within his larger study, begun in the first Critique, of judgment's fundamental role in the life of the mind. (shrink)

A listing is given of the published writings of the logician and philosopher Hao Wang , which includes all items known to the authors, including writings in Chinese and translations into other languages.

A listing is given of the published writings of the logician and philosopher Hao Wang (1921—1995), which includes all items known to the authors, including writings in Chinese and translations into other languages.

The dissertation offers a study of Kant's aesthetic theory as it is developed in the "Critique of Aesthetic Judgment", the first half of his Critique of Judgment, which is widely acknowledged to be the founding text of modern philosophical aesthetics. I aim to show that this work elaborates an important and deeply interesting study of the nature and conditions of aesthetic judgment which---despite the recent resurgence of commentary and of secondary literature---has not yet been inherited. I give an account focused (...) on understanding Kant's idea that aesthetic judgment makes a claim to "subjective universality" and "exemplary necessity", the "twofold peculiarity" of aesthetic judgment that Kant himself presents as the main thematic guiding the course of the Critique. I argue for an interpretation of Kant's notion of aesthetic judgment which takes seriously his idea that its demand for the agreement of others takes the form of a presumption, in which the judge offers her judgment as exemplary of a "universal voice", apart from any independently or transcendentally assured authorization. (shrink)

Released in 1958, Vertigo is widely regarded as Alfred Hitchcock’s masterpiece and one of the greatest films of all time. This is the first book devoted to exploring the philosophical aspects of Vertigo . Following an introduction by the editor that places the film in context, each chapter reflects upon Hitchcock’s film from a philosophical perspective. Topics discussed include: memory, loss, memorialisation, and creativity mimetic or representational art and art as magic the nature of romantic love gender, sexual objectification, and (...) identity looking, "the gaze", and voyeurism film and psychoanalysis fantasy, illusion, and reality the phenomenology of colour. Including annotated further reading at the end of each chapter, this collection is essential reading for anyone interested in Vertigo , and an ideal resource for students of film and philosophy. (shrink)

Averroës, 1126-1198; views on Sufism; philosophy and islam; comparati.

A review of Katalin Makkai, _Kant’s Critique of Taste: The Feeling of Life Cambridge_: Cambridge University Press, 2021.

The perennial challenge for any Kant scholar is to offer close reading of a dense and often exceedingly abstract text that is faithful both to its driving philo.